Proof Check for small tree /Current::verify_proof - small
|
|
Additional Statistics:
| Lower bound | Estimate | Upper bound | |
|---|---|---|---|
| Slope | 1.1845 µs | 1.1846 µs | 1.1848 µs |
| R² | 0.9999434 | 0.9999461 | 0.9999432 |
| Mean | 1.1845 µs | 1.1848 µs | 1.1852 µs |
| Std. Dev. | 789.03 ps | 1.8346 ns | 2.7770 ns |
| Median | 1.1844 µs | 1.1845 µs | 1.1847 µs |
| MAD | 480.68 ps | 715.45 ps | 889.75 ps |
Understanding this report:
The plot on the left displays the average time per iteration for this benchmark. The shaded region shows the estimated probability of an iteration taking a certain amount of time, while the line shows the mean. Click on the plot for a larger view showing the outliers.
The plot on the right shows the linear regression calculated from the measurements. Each point represents a sample, though here it shows the total time for the sample rather than time per iteration. The line is the line of best fit for these measurements.
See the documentation for more details on the additional statistics.